namespace CXX_SUSPICIOUS_INDEX_CHECK_CALL {
    namespace bad {
    
        int get_index();

        void set(int* arr, int index) {
            arr[index] = 0;
        }

        int main() {
            int SIZE = 15;
            int arr[10];
            int index = get_index();

            if (index >= SIZE) {
                return 0;
            }
            set(arr, index);
        }
    
    }

    namespace good {
        int get_index();

        void set(int* arr, int index) {
            arr[index] = 0;
        }

        int main() {
            int SIZE = 10;
            int arr[10];
            int index = get_index();

            if (index >= SIZE) {
                return 0;
            }
            set(arr, index);
        }
    }

}